Concurrency, Faults and Atomic Transactions: Incremental Design for Fault-tolerance Concurrency, Faults and Atomic Transactions: Incremental Design for Fault-tolerance
نویسندگان
چکیده
The mission of UNU/IIST is to assist developing countries in the application and development of software technology. UNU/IIST contributes through its programmatic activities: 1. advanced development projects in which software techniques supported by tools are applied, 2. research projects in which new techniques for software development are investigated, 3. curriculum development projects in which courses of software technology for universities in developing countries are developed, 4. courses which typically teach advanced software development techniques, 5. events in which conferences and workshops are organised or supported by UNU/IIST, and 6. dissemination, in which UNU/IIST regularly distributes to developing countries information on international progress of software technology. Fellows, who are young scientists and engineers from developing countries, are invited to actively participate in all these projects. By doing the projects they are trained. At present, the technical focus of UNU/IIST is on formal methods for software development. UNU/IIST is an internationally recognised center in the area of formal methods. However, no software technique is universally applicable. We are prepared to choose complementary techniques for our projects, if necessary. UNU/IIST produces a report series. Reports are either Research R , Technical T , Compendia C or Administrative A. They are records of UNU/IIST activities and research and development achievements. Many of the reports are also published in conference proceedings and journals. Abstract We present a case study in formal design of a distributed database. The database supports atomic transactions despite distribution and faults aaecting its components. Development proceeds compositionally, from sequential, concurrent to distributed system, while building up capacity of individual components to tolerate an increasing number of faults. The case study illustrates some useful techniques for building fault-tolerant systems in general. We conclude by discussing them and their support in the formalism based on CCS (for implementation) and a version of mu-calculus (for speciication and veriication). Tomasz Janowski is a Research Fellow of UNU/IIST. He received an MSc in Mathematics from the University of Gda nsk (Poland) and a PhD in Computer Science from the University of Warwick (England). His research interests include logics for provable fault-tolerance, real-time scheduling, formal models for manufacturing and the integration of formal and informal techniques in software development. Yun Xiaochun is a former fellow of UNU/IIST, originally from the Harbin Institute of Technology , China, where he is a PhD student in Computer Science. His research interests include parallel computing, fault-tolerance and software design from pre-exisitng …
منابع مشابه
Coordinated Atomic Actions: from Concept to Implementation
The Coordinated Atomic Action (or CA action) concept is a unified scheme for coordinating complex concurrent activities and supporting error recovery between multiple interacting objects in a distributed object-oriented system. It provides a conceptual framework for dealing with different kinds of concurrency and achieving fault tolerance by extending and integrating two complementary concepts ...
متن کاملA practical scalable distributed B-tree
Internet applications increasingly rely on scalable data structures that must support high throughput and store huge amounts of data. These data structures can be hard to implement efficiently. Recent proposals have overcome this problem by giving up on generality and implementing specialized interfaces and functionality (e.g., Dynamo [4]). We present the design of a more general and flexible s...
متن کاملCSP Methods for Identifying Atomic Actions in the Design of Fault Tolerant Concurrent Systems
Limiting the extent of error propagation when faults occur and localizing the subsequent error recovery are common concerns in the design of fault tolerant parallel processing systems. Both activities are made easier if the designer associates fault tolerance mechanisms with the underlying atomic actions of the system. With this in mind, this paper has investigated two methods for the identific...
متن کاملCSP Methods for IdentiQing Atomic Actions in the Design of Fault Tolerant Concurrent Systems
Limiting the extent of error propagation when faults occur and localizing the subsequent error recovery are common concerns in the design of fault tolerant parallel processing systems. Both activities are made easier if the designer associates fault tolerance mechanisms with the underlying atomic actions of the system. With this in mind, this paper has investigated two methods for the identific...
متن کاملConstructing Reliable Web Applications Using Atomic Actions
The Web frequently suffers from failures which affect the performance and consistency of applications run over it. An important fault-tolerance technique is the use of atomic actions (atomic transactions) for controlling operations on services. Atomic actions guarantee the consistency of applications despite concurrent accesses and failures. Techniques for implementing transactions on distribut...
متن کامل